binary Operation on a set